Go top
Conference paper information

Variable ordering heuristics for BDD based on minimal cutsets

C. Ibáñez, A. Rauzy

International Conference on Probabilistic Safety Asessment and Management - PSAM 9, Hong Kong (China). 18-23 May 2008


Summary:

The Binary Decision Diagram technology is a good alternative to the classical minimal cutsets approach to assess Fault Trees and Event Trees issued from Probabilistic Safety Assessment studies of the nuclear industry. A key issue in the efficiency of this technique stands in the choice of a good variable ordering. In this article, we explore a new idea for the design of ordering heuristics: the use of minimal cutsets calculated with a classical algorithm in order to group variables. We propose several ordering heuristics to be applied on a sum-of-products. We discuss whether these heuristics could be extended to general formulae.


Keywords: Probabilistic Safety Assessment, Minimal Cutsets, Binary Decision Diagrams, Variable Ordering Heuristics


Published in PSAM 2008, ISBN: 978-988-99791-5-7

Publication date: 2008-05-23.



Citation:
C. Ibáñez, A. Rauzy, Variable ordering heuristics for BDD based on minimal cutsets, International Conference on Probabilistic Safety Asessment and Management - PSAM 9, Hong Kong (China). 18-23 May 2008. In: PSAM 2008: 9th International Conference on Probabilistic Safety Assessment and Management 2008, ISBN: 978-988-99791-5-7

Request Request the document to be emailed to you.